Steffen Hölldobler
20 publications
10 venues
H Index 12
Affiliation
Dresden University of Technology, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Conditional Reasoning and Relevance.
|
Cognitive Science | 2020 | 1 |
| A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract).
|
IJCAI | 2019 | 1 |
| The Weak Completion Semantics and Equality.
|
LPAR | 2018 | 2 |
| A Core Method for the Weak Completion Semantics with Skeptical Abduction.
|
JAIR | 2018 | 10 |
| Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?
|
Cognitive Science | 2017 | 0 |
| A Computational Logic Approach to Human Syllogistic Reasoning.
|
Cognitive Science | 2017 | 25 |
| An Abductive Reasoning Approach to the Belief Bias Effect.
|
KR | 2014 | 20 |
| Representative Encodings to Translate Finite CSPs into SAT.
|
CPAIOR | 2014 | 12 |
| A Computational Logic Approach to the Suppression Task.
|
Cognitive Science | 2012 | 51 |
| Logic Programs under Three-Valued Lukasiewicz Semantics.
|
ICLP | 2009 | 73 |
| Logics and Networks for Human Reasoning.
|
ICANN | 2009 | 45 |
| A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
|
IJCAI | 2007 | 41 |
| FluCaP: A Heuristic Search Planner for First-Order MDPs.
|
JAIR | 2006 | 34 |
| The Core Method: Connectionist Model Generation.
|
ICANN | 2006 | 18 |
| The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus.
|
LPAR | 2000 | 7 |
| On the Adequateness of the Connection Method.
|
AAAI | 1993 | 19 |
| Spatial Reasoning and Connectionist Inference.
|
IJCAI | 1993 | 6 |
| On Deductive Planning and the Frame Problem.
|
LPAR | 1992 | 20 |
| Cycle Unification.
|
CADE | 1992 | 17 |
| A Structured Connectionist Unification Algorithm.
|
AAAI | 1990 | 38 |